map meta
/avail/Avail/Foundation/Bootstrap/Special Objects: map meta
Source: /avail/Avail/Foundation/Bootstrap/Special Objects (Documentation only; not exported for use)
Categories: Primitives, Types
See: {_→_`|_}See: {_→_`|_.._}See: {_→_`|_..}See: {_→_`|.._}See: {_→_`|}
The map type specifies three parameters for completion:
- The key type specifies a type that includes every key of the domain. The method _'s⁇key type answers the key type of a map type.
- The value type specifies a type that includes every value of the codomain. The method _'s⁇value type answers the value type of a map type.
- The cardinality restriction is an integral type that specifies the range of sizes that describe instances. The method `|`|_`|`| answers the cardinality restriction of a map type. The floor operation, ⎣_⎦, answers the lower bound of a map type's cardinality restriction. The ceiling operation, ⎡_⎤, answers the upper bound of a map type's cardinality restriction.